Nuprl Lemma : assert_of_tt
12,41
postcript
pdf
tt
latex
ProofTree
Definitions
t
T
,
True
,
if
b
then
t
else
f
fi
,
tt
,
b
origin
tt
tt
Tb